Verdeloche, Jean, tailleur à la Monnaie royale de Paris